A High Performance Architecture For Prolog
نویسنده
چکیده
Read more and get great! That's what the book enPDFd a high performance architecture for prolog will give for every reader to read this book. This is an on-line book provided in this website. Even this book becomes a choice of someone to read, many in the world also loves it so much. As what we talk, when you read more every page of this a high performance architecture for prolog, what you will obtain is something great.
منابع مشابه
Design and Analysis of Hardwarefor High Performance
Most Prolog machines have been based on specialized architectures. Our goal is to start with a general purpose architecture and determine a minimal set of extensions for high performance Prolog execution. We have developed both the architecture and optimizing compiler simultaneously, drawing on results of previous implementations. We nd that most Prolog speciic operations can be done satisfacto...
متن کاملFast Prolog with an Extended General Purpose
Most Prolog machines have been based on specialized architectures. Our goal is to start with a general purpose architecture and determine a minimal set of extensions for high performance Prolog execution. We have developed both the architecture and optimizing compiler simultaneously, drawing on results of previous implementations. We nd that most Prolog speciic operations can be done satisfacto...
متن کاملThe YAIL: An Intermediate Language for the Native Compilation of Prolog Programs
A major goal for any Prolog implementor is to achieve the best performance for applications. Advanced compilation is essential for high performance. The last few years have seen improvements in Prolog compilation technology resulting in a return to the idea of native code execution. We present work on designing a novel native code compiler for Prolog. The compiler uses an intermediate language ...
متن کاملThe language features and architecture of B-Prolog
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain constraint solving, arrays and hash tables, declarative loop constructs, and tabling. The B-Prolog system is based on the TOAM architecture which differs from the WAM mainly in that (1) arguments are passed old-fashioned...
متن کاملParma - Bridging the Performance GAP Between Imperative and Logic Programming
Parma is an experimental high-performance Prolog compiler for the MIPS RISC architecture ?]. It was the rst logic programming implementation to obtain performance comparable to imperative languages. It depends heavily on a global static analysis phase based on abstract interpretation. This paper describes the important components of Parma's implementation and discusses performance results inclu...
متن کامل